(clear)
(unwatch compilations)
(watch statistics)
(set-strategy depth)
(load waltz.clp)
(reset)
(load-facts waltz37.fct)
(run)
